home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 7 / Apprentice-Release7.iso / Environments / Clean 1.2.4 / StdEnv / StdReal.dcl < prev    next >
Encoding:
Text File  |  1996-12-23  |  1.3 KB  |  54 lines  |  [TEXT/3PRM]
  1. system module StdReal
  2.  
  3. // ****************************************************************************************
  4. //    Concurrent Clean Standard Library Module Version 1.1
  5. //    Copyright 1995 University of Nijmegen
  6. // ****************************************************************************************
  7.  
  8. import    StdOverloaded
  9.  
  10. instance +                Real
  11. instance -                Real
  12. instance zero            Real
  13.  
  14. instance *                Real
  15. instance /                Real
  16. instance one            Real
  17.  
  18. instance ^                Real
  19. instance abs            Real
  20. instance sign            Real
  21. instance ~                Real
  22.  
  23. instance ==                Real
  24.  
  25. instance <              Real
  26.  
  27. instance toInt            Real
  28. instance toReal            Real
  29. instance toString        Real
  30.  
  31. instance fromReal        Int
  32. instance fromReal        Real
  33. instance fromReal        {#Char}
  34.  
  35. //    Logarithmical Functions:
  36.  
  37. ln                    :: !Real         ->    Real    //    Logarithm base e
  38. log10                :: !Real         ->    Real    //    Logarithm base 10
  39. exp                    :: !Real         ->    Real    //    e to to the power    
  40. sqrt                :: !Real         ->    Real    //    Square root
  41.  
  42. //    Trigonometrical Functions:
  43.  
  44. sin                    :: !Real        ->    Real    //    Sinus
  45. cos                    :: !Real        ->    Real    //    Cosinus
  46. tan                    :: !Real        ->    Real    //    Tangens
  47. asin                :: !Real        ->    Real    //    Arc Sinus
  48. acos                :: !Real        ->    Real    //    Arc Cosinus
  49. atan                :: !Real        ->    Real    //    Arc Tangus
  50.  
  51. //    Additional conversion:
  52.  
  53. entier                :: !Real        ->    Int        //    Cconvert Real into Int by taking entier
  54.